(Obtaining Flymake): Update Flymake's CVS repository URL.

diff --git a/man/flymake.texi b/man/flymake.texi
index bb1041609a2e0282f71f4c150b82c6e4eaa6bea2..ae56dfa05b2236aff7c2e25c358b64ca6ea96ef4 100644 (file)
--- a/man/flymake.texi
+++ b/man/flymake.texi
@@ -110,7 +110,9 @@ patterns. @xref{Configuring Flymake}.
 
 Release versions of Flymake can be downloaded from
 @* @url{https://sourceforge.net/project/showfiles.php?group_id=77501}.
-You can also try current version available via CVS at @url{https://}.
+
+You can also try the current development version available via CVS at
+@url{https://sourceforge.net/cvs/?group_id=77501}.
 
 Flymake's homepage is at @url{http://flymake.sourceforge.net}.